Abstract: We prove the general validity of a formula conjectured by Levin and Robbins (1981) to give a lower bound for the probability of correct selection in a sequential elimination procedure designed to identify the best of binomial populations. The formula is elementary to calculate and simplifies the design of the selection procedure.
Key words and phrases: Lower bound formula, probability of correct selection, sequential elimination procedure.